Nuprl Definition : compat
11,40
postcript
pdf
compat(
T
;
l1
;
l2
) == iseg(
T
;
l1
;
l2
)
iseg(
T
;
l2
;
l1
)
latex
Definitions
P
Q
,
iseg(
T
;
l1
;
l2
)
FDL editor aliases
compat
origin